@Article{murphy01tse,
  author = {Gail C. Murphy and David Notkin and Kevin J. Sullivan},
  title = {Software Reflexion Models: Bridging the Gap between Design and Implementation},
  journal = {IEEE Trans. Software Eng},
  volume = 27,
  number = 4,
  pages = {364--380},
  year = 2001,
}
